Thomas Henzinger - PDFSEARCH.IO - Document Search Engine

Thomas Henzinger
Results: 26

#	Item
21	Probabilistic Programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-02-03 11:01:04 Probability and statistics Markov models Non-classical logic Probabilistic logic Markov chain Bayesian network Bernoulli distribution Graphical model Probability distribution Statistics Bayesian statistics Statistical models
22	Web Service Interfaces∗ Dirk Beyer Arindam Chakrabarti Thomas A. Henzinger Add to Reading List Source URL: www2005.org Language: English - Date: 2005-03-31 03:37:59 Interfaces Object-oriented programming Representational state transfer Computing Software engineering Software architecture
23	C O V E R F E A T U R E The Discipline of Embedded Systems Design Thomas A. Henzinger, EPFL Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Systems analysis Scientific modeling Formal methods Systems engineering Embedded system Systems design Computer science Hardware architect Modeling language Software engineering Science Computing
24	Curriculum Vitae Thomas A. Henzinger January 23, 2014 Address IST Austria (Institute of Science and Technology Austria) Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2014-01-23 13:19:55 CHIC Institute of Science and Technology Austria
25	Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Formal methods Mathematical logic Function Predicate transformer semantics Floating point Abstract interpretation Predicate Quantification Prime-counting function Mathematics Logic Semantics
26	Curriculum Vitae Thomas A. Henzinger October 30, 2013 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2013-10-30 05:29:05 CHIC Institute of Science and Technology Austria